23. Where a contributor ceases to hold employment with his employer before all the payments have been made under section 22, he shall be credited with the period of service that he chose to redeem and those payments shall be recovered out of any sum payable to the contributor under this plan until all the payments have been made or until the contributor dies.